/* ==============================================================================
*
*   Copyright (c) 2010, Pierre Favier
*   All rights reserved.
*
*   NTasking is free software: you can redistribute it and/or modify it
*   under the terms of the GNU General Public License as published by the
*   Free Software Foundation.
*
*   Redistribution and use in source and binary forms, with or without
*   modification, are permitted provided that the following conditions
*   are met:
*
*   -   Redistributions of source code must retain the above copyright notice,
*       this list of conditions and the following disclaimer.
*
*   -   Redistributions in binary form must reproduce the above
*       copyright notice, this list of conditions and the following
*       disclaimer in the documentation and/or other materials
*       provided with the distribution.
*
*   THIS SOFTWARE IS PROVIDED "AS IS" AND ANY EXPRESS OR IMPLIED
*   WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
*   OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
*   DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS
*   BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
*   EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
*   TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
*   DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
*   ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR
*   TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF
*   THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
*   SUCH DAMAGE.
*
* ============================================================================== */

using System;
using NUnit.Framework;
using Rhino.Mocks;

namespace NTasking.ValidationTests.ACATS_3_0.C9
{

    [TestFixture(Description = "")]
    public class C9A011B : ValidationTest
    {

        private static TimedEntry timedEntry = null;
        private static Owner owner = null;


        private class TimedEntry : ValidationTestTask
        {

            [Entry]
            internal Action WaitAround { get; private set; }


            internal TimedEntry(IValidationTestResult result)
                : base(result)
            {
            }


            protected override void Body()
            {
                try
                {
                    Ada.Select(s => s.
                        Call(owner.SelfAbort)().
                    OrDelay(60.0)
                    );

                    Console.WriteLine("NO EXCEPTION RAISED");
                    Result.TestFailed();

                    Accept(WaitAround);
                }
                catch (TaskingError ex)
                {
                    if (ex.ErrorCode != Errors.TaskIsAbnormalError)
                    {
                        Console.WriteLine("WRONG ERROR CODE IN TASKING ERROR ON ABORT");
                        Result.TestFailed();
                    }

                    Accept(WaitAround);
                }
                catch (Exception)
                {
                    Console.WriteLine("WRONG EXCEPTION RAISED");
                    Result.TestFailed();

                    Accept(WaitAround);
                }
            }

        }


        private class Owner : ValidationTestTask
        {

            [Entry]
            internal Action Start { get; private set; }


            [Entry]
            internal Action SelfAbort { get; private set; }


            internal Owner(IValidationTestResult result)
                : base(result)
            {
            }


            protected override void Body()
            {
                Accept(Start, () =>
                {
                    while (Count(SelfAbort) == 0)
                        Ada.Delay(1.0);
                });

                Abort();

                Accept(SelfAbort);
            }

        }


        [Test(Description =
            "CHECK THAT 'TASKING_ERROR' IS RAISED BY A TIMED ENTRY CALL IF " +
            "THE CALLED TASK IS ABORTED BEFORE THE DELAY EXPIRES BUT NOT " +
            "WHEN THE CALL IS FIRST EXECUTED.")]
        public void Test()
        {
            IValidationTestResult result = Mocks.DynamicMock<IValidationTestResult>();

            Ada.Declare(() =>
            {
                timedEntry = new TimedEntry(result);
                owner = new Owner(result);

                // Setup text expectations

                Expect.Call(() => result.TestFailed()).Repeat.Never();
                Expect.Call(() => result.TaskAborted(owner));
                Expect.Call(() => result.TaskFinished(timedEntry));

                Mocks.ReplayAll();
            },
            Begin: () =>
            {
                try
                {
                    owner.Start();

                    Ada.Delay(5.0);

                    if (timedEntry.Callable)
                    {
                        timedEntry.WaitAround();
                    }
                    else
                    {
                        Console.WriteLine("TASK ABORTED WHEN TASKING ERROR IS RAISED");
                        result.TestFailed();
                    }
                }
                catch (Exception)
                {
                    Console.WriteLine("EXCEPTION RAISED OUTSIDE OF TASK");
                    result.TestFailed();
                }
            });
        }

    }

}
